Rysunek pomocniczy:

Zauważmy, że kąty i tworzą razem kąt półpełny, tzn. .

Suma miar kątów w trójkącie jest równa .

Suma miar dwóch nieoznaczonych kątów w trójkącie po lewej stronie jest ró