Interior Angle Theorem