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

IX.30 Proposition IX.30

If an odd number measure an even number, it will also measure the half of it.

lines 74–74 in main.tex