Questo è uno dei teoremi più potenti della geometria elementare. In due versioni successive stabilisce prima una disuguaglianza (l’angolo esterno è maggiore di ciascun angolo interno non adiacente) e poi un’uguaglianza (l’angolo esterno è uguale alla somma dei due angoli interni non adiacenti).