Given two unequal straight lines, to cut off from the greater a straight line equal to the less.