External Angle Theorem