Euclid's Proof

First, I have a version of the diagram that matches the labeling in Borovik and Gardiner's "The Essence of Mathematics Through Elementary Problems".
Next, the same diagram labeled to match Euclid's proof as presented by David Joyce at https://mathcs.clarku.edu/~djoyce/java/elements/bookI/propI47.html
Add descriptive text and questions here!