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

VIII.15 Proposition VIII.15

If a cube number measure a cube number, the side will also measure the side; and if the side measure the side, the cube will also measure the cube.

lines 74–74 in main.tex