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

VIII.14 Proposition VIII.14

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

lines 74–74 in main.tex