Proof: Alternate Interior Angles are Equal