A medial straight line is the mean proportional between two rational straight lines commensurable in square only.
lines 74–74 in main.tex