If the square on a straight line be five times the square on a segment of it, then, when the double of the said segment is cut in extreme and mean ratio, the greater segment is the remaining part of the original straight line.
Proof
Converse of XIII.1: assume the squared relation and deduce the
extreme-and-mean cut using II.6 / II.11.