Trzeci kąt w trójkącie o kątach
jest równy:
Oznacza to, że kąty naprzemianległe prostych
i
są sobie równe, czyli
.
(co kończy dowód)
Wykorzystujemy fakt, że równość miar kątów naprzemianległych dwóch prostych jest warunkiem wystarczającym ich równoległości.