Alternate Interior Angles Are Equal