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

IX.26 Proposition IX.26

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

lines 74–74 in main.tex