Z rysunku możemy odczytać, że kąty  oraz  są kątami przyległymi.

Dodatkowo kąty  oraz  są kątami naprzemianległymi.

Podstawiając podane zależności, otrzymujemy:

Z rysunku możemy