Thank you for this but I have one question. How is your step 3 the Alternate Exterior Angles Theorem? I do not understand how you got that and I was wondering if you could elaborate.
