VI.17 - Prove that if three straight lines are proportional, the rectangle contained by the extremes equals the square on the mean; and conversely, if the rectangle contained by the extremes equals the square on the mean, the three lines are proportional