this is embarrassing, but I am having trouble reading through Proposition 1 of Book 10 of Euclid's elements. I'm struggling with Euclid's terminology and don't have a clear picture of what divisions he's making in the lines involved, so not clear what the proof says. Here's the text of the proof with some comments/questions by me embedded in square brackets (I've also numbered the sentences):

Theorem: Let AB and C be two unequal magnitudes of which AB is the greater. I say that, if from AB there is subtracted a magnitude greater than its half, and from that which is left a magnitude greater than its half, and if this process is repeated continually, then there will be left some magnitude which is less than the magnitude C.

1. Some multiple DE of C is greater than AB. [So let's say that DE is 31 times C and is greater than AB for example.]

2. Divide DE into the parts DF, FG, and GE equal to C. [Euclid can't mean that he's divided DE into three equal parts each of length C, and in Step 7 he assumes that FD equals C, but is GE also equal to C?]

3. From AB subtract BH greater than its half, and from AH subtract HK greater than its half, and repeat this process continually until the divisions in AB are equal in multitude with the divisions in DE. [Does this mean divide AB into 31 different parts where BH > half AB, and HK > half AH, and KL > half AK, and so on 31 times?]

4. Let, then, AK, KH, and HB be divisions equal in multitude with DF, FG, and GE. [Is Euclid just saying that he's considering each line as having been split into three parts?]

5. Now, since DE is greater than AB, and from DE there has been subtracted EG less than its half [Why is EG less than half of DE? Is this where we have to assume that EG is C? I can't picture what assumptions we're making about the division of DE in Step 2], and, from AB, BH greater than its half, therefore the remainder GD is greater than the remainder HA.

6. And, since GD is greater than HA, and there has been subtracted from GD the half GF [Is GF supposed to be half of GD?], and from HA, HK greater than its half, therefore the remainder DF is greater than the remainder AK.

7. But DF equals C, therefore C is also greater than AK. Therefore AK is less than C.

8. Therefore there is left of the magnitude AB the magnitude AK which is less than the lesser magnitude set out, namely C.