Prove Consecutive Interior Angles Theorem