For, since AB is incommensurable in length with BC,
and, as AB is to BC, so is the square on AB to the rectangle AB, BC,
therefore the square on AB is incommensurable with the rectangle AB, BC. [X. 11]
But the squares on AB, BC are commensurable with the square on AB, [X. 15]
and twice the rectangle AB, BC is commensurable with the rectangle AB, BC. [X. 6]
And, inasmuch as the squares on AB, BC are equal to twice the rectangle AB, BC together with the square on CA, [II. 7]
therefore the squares on AB, BC are also incommensurable with the remainder, the square on AC. [X. 13, 16]
But the squares on AB, BC are rational;
therefore AC is irrational. [X. Def. 4]
And let it be called an apotome.
Q. E. D.