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

VIII.24 Proposition VIII.24

If two numbers have to one another the ratio which a square number has to a square number, and the first be square, the second will also be square.

lines 74–74 in main.tex