Kąt
jest wierzchołkowy. Kąt
jest przyległy do kąta
i jest naprzemianległy do kąta w trójkącie o podstawie z prostej
. Suma kątów w trójkącie to
, więc
, bo kąt
jest wierzchołkowy.