Допустим, что прямые ВС и AD не параллельны. Тогда они пересекаются в некоторой точке К. Получается, что через точку К проходит две прямые параллельные прямой К. Но это противоречит аксиоме «Через точку, не лежащую на данной прямой, можно провести на плоскости не более одной прямой, параллельной данной», а значит ВС||AD