Magnitudes commensurable with the same magnitude are commensurable with one another.
lines 74–74 in main.tex