AO=OB
CO=OD
∠AOC = ∠BOD (вертикальные углы)
ΔAOC = ΔBOD (по двум сторонам и углу между ними)
∠ACO = ∠BDO
(В равных треугольниках против равных сторон лежат равные углы.)
Если при пересечении двух прямых (AC; BD) секущей (CD) накрест лежащие углы (∠ACO; ∠BDO) равны, то прямые параллельны.