Rysunek:

Rozpatrzmy trójkąt DAG:

kąty tego trójkąta mają miary , korzystając z własności trójkąta o podanych kątach wewnętrznych otrzymujemy:

Zatem  oraz 

K