Uzasadnij i udowodnij, że proste
i
są bądź nie są równoległe.
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.