Alternate Angles (NCCA, Theorem 3)
Axioms for Leaving Certificate Geometry
NCCA Syllabus, Theorem 12