Thm 4 (ext angle = int opp angle)