аксиома параллельных прямых и следствия из нее

Через точку, не лежащую на данной прямой, проходит только одна прямая, параллельная данной. Если прямая пересекает одну из двух параллельных прямых, то она пересекает и другую. Если две прямые параллельны третьей прямой, то они параллельны. Если две параллельные прямые пересечены секущей, то накрест лежащие углы равны. Если прямая перпендикулярна к одной из двух параллельных прямых, то она перпендикулярна и к другой. Если две параллельные прямые пересечены секущей, то соответственные углы равны. Если две параллельные прямые пересечены секущей, то сумма односторонних углов равна 180°. Все точки каждой из двух параллельных прямых равноудалены от другой прямой.