Alternate Exterior Angles Theorem (V1)