Z równości

i z jedynki trygonometrycznej otrzymujemy

Zatem

tgα=tgβ i z założenia, że oba kąty α i β są ostre, wynika, że α = β.