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

X.56 Proposition X.56

If an area be contained by a rational straight line and the third binomial, the side of the area is the irrational straight line which is called second bimedial.

lines 74–74 in main.tex