A minor straight line is the difference of two straight lines incommensurable in square such that the sum of the squares on them is rational, but the rectangle contained by them is medial.
lines 74–74 in main.tex