Alternate Interior Angles Theorem Proof