Proposition 3: To cut off from the greater of two given unequal straight lines a straight line equal to the less.