A straight line which produces with a rational area a medial whole is the irrational straight line such that the square on it added to a rational area makes the whole medial.
lines 74–74 in main.tex