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

IX.24 Proposition IX.24

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

lines 74–74 in main.tex