This is a note from Heath's translation of the Elements about the theorem(s) I'll talk about below. It serves as a better introduction than anything I thought of writing:
It's probably not too unfair to paraphrase the above as saying "we need this parallelism stuff to get to some much cooler stuff in the next section of the book."
And it reminds me that a lot of what we learn about mathematics in school is similarly transitional, connecting a much more sparse population of robust or "interesting" topics. Focusing exclusively on these transitional topics—this connective tissue—or on the entire subject as transitional, is what mathematician Edward Frenkel refers to as "painting the fence" in art class.
But of course few of these interesting real-world topics would be interesting without the connective tissue. So, while it is certainly worth our while to use the 20% to get students to plow through the "boring" 80%, pretending that everything is in the 20% (the Lake Wobegon effect of curriculum design, if you will) is a delusion resting on a gross ignorance of reality and of mathematics.
All Fired Up for Learning Now?
With that said, this 'transitional' proof is a little bit interesting in the way Euclid seems to break some rules in order to get to his conclusion:
We can see that this will be another proof by contradiction. He supposes that he is wrong and that lines \(\small\mathtt{AB}\) and \(\small\mathtt{CD}\) are not parallel. Therefore, they will meet at some point.
What's weird is how, in the diagram, these lines are made to meet—by making each one of them two lines instead of one! But the only reason that would be a problem is if anything in the rest of the proof relies on this distortion to be true. Let's see:
Therefore \(\small\mathtt{AB}\), \(\small\mathtt{CD}\) when produced will not meet in the direction of \(\small\mathtt{B}\), \(\small\mathtt{D}\). Similarly it can be proved that neither will they meet towards \(\small\mathtt{A}\), \(\small\mathtt{C}\).
The mention of \(\small\Delta\mathtt{GEF}\) seems like a mistake, given the distortion in the drawing, but this triangle would exist even without the distortion if lines \(\small \mathtt{AB}\) and \(\small\mathtt{CD}\) were not parallel, since the lines would have to meet at some point.