Mamy uzasadnić, że . Dodamy do rysunku z instrukcji opis do kąta, który go nie ma.

Z własności kątów trójkąta:

Wiemy również, że kąt  jest przyległy do kąta :

Teraz podstawiając