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

IX.31 Proposition IX.31

If an odd number be prime to any number, it will also be prime to the double of it.

lines 74–74 in main.tex