Check out my new website: www.EulersAcademy.org This is the third proposition in Euclid's first book of The Elements. The proof starts with two given lines, each of different lengths, and shows how to cut off a part of the bigger line equal to the smaller line.