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

X.II.4 Definition X.II.4

If the square of the greater term exceeds the square of the lesser by the square of a line incommensurable in length with the greater, and the greater term is commensurable in length with the assigned rational straight line, the whole is called a fourth binomial.

lines 74–74 in main.tex