Kąt przyległy do kąta o mierze
jest równy
.
Kąty naprzemianległe prostych
oraz
są równe, więc
.
(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.