Из равенства треугольников следует равенство соответствующих углов, т.е.
.
Эти углы являются накрест лежащими при пересечении прямых BC и AD секущей AC, и так как они равны, то BC || AD.
Аналогично, из равенства треугольников следует, .
Эти углы являются накрест лежащими при пересечении прямых AB и CD секущей AC, и так как они равны, то AB || CD.