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

VII.5 Proposition VII.5

If a number be a part of a number, and another be the same part of another, the sum will also be the same part of the sum that the one is of the other.

lines 74–74 in main.tex