Założenia:

Teza:

Dowód:

Wprowadźmy oznaczenia jak na rysunku:

Wypiszmy wszystkie zależności w naszym trójkącie:

Zauważmy, że:  - kąty leżące na jednej prostej

 - jako kąty