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 [url=https://mathcs.clarku.edu/~djoyce/java/elements/bookI/propI47.html]https://mathcs.clarku.edu/~djoyce/java/elements/bookI/propI47.html[/url]

Add descriptive text and questions here!