The side of a rational plus a medial area is divided at one and the same point only.
lines 74–74 in main.tex