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

VII.11 Proposition VII.11

If, as whole is to whole, so is a number subtracted to a number subtracted, the remainder will also be to the remainder as whole is to whole.

lines 74–74 in main.tex