Labelled As: Alternate Interior Angle Theorem