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

VII.25 Proposition VII.25

If two numbers be prime to one another, the product of one of them into itself will be prime to the remaining one.

lines 74–74 in main.tex