If an area be contained by a rational straight line and a first apotome, the side of the area is an apotome.
lines 74–74 in main.tex