Congruent Alternate Interior Angle Theorem