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

https://www.youtube.com/watch?v=MCt42Kb5Gj4