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

VII.32 Proposition VII.32

Any number either is prime or is measured by some prime number.

lines 74–74 in main.tex