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

VIII.17 Proposition VIII.17

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

lines 74–74 in main.tex