This is one of the most powerful theorems of elementary geometry. In two successive versions it establishes first an inequality (the exterior angle is greater than each non-adjacent interior angle) and then an equality (the exterior angle is equal to the sum of the two non-adjacent interior angles).