Alternate Interior Angles Theorem Definition