X.23 – Prove that a straight line commensurable with a medial straight line is medial.