Proof: Alternate Interior Angles Are Congruent