A straight line commensurable in length with a bimedial straight line is itself bimedial and the same in order.
lines 74–74 in main.tex