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

VII.8 Proposition VII.8

If a number be the same parts of a number that a subtracted number is of a subtracted number, the remainder will also be the same parts of the remainder that the whole is of the whole.

lines 74–74 in main.tex