Założenie: W trójkącie jest tylko jeden kąt rozwarty.

Teza: 

Dowód: 

Oznaczamy kąty jako: 

Zakładamy, że  to kąt rozwarty - kąt rozwarty spełnia warunek