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

VIII.16 Proposition VIII.16

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

lines 74–74 in main.tex