Proof: Alternate Interior Angles Converse