For, since AB, BC are commensurable, some magnitude will measure them.
Let it measure them, and let it be D.
Since then D measures AB, BC, it will also measure the whole AC.
But it measures AB, BC also;
therefore D measures AB, BC, AC;
therefore AC is commensurable with each of the magnitudes AB, BC. [X. Def. 1]