In: Advanced Math
The Alternate Interior Theorem states that if two lines cut by a transversal line have a pair of congruent alternate interior angles, then they must be parallel. Prove this theorem in Neutral Geometry (first 4 axioms) in two ways
1) using the exterior angle theorem
2) then without.
Hint: use proof by contradiction for both solutions.