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

IX.27 Proposition IX.27

If from an odd number an even number be subtracted, the remainder will be odd.

lines 74–74 in main.tex