Proof Using Alternate Interior Angle