Alternate Interior Angles Theorem (V1)