Source — Euclid's Elements, encoded as an rrxiv paper

VII.26 Proposition VII.26

If two numbers be prime to two numbers, both to each, their products also will be prime to one another.

lines 74–74 in main.tex