Аксиома: через точку, не лежащую на данной прямой, проходит только одна прямая, параллельная данной.
Следствие1: если прямая пересекает одну из двух параллельных прямых, то она пересекает и другую.
Следствие 2: если две прямые параллельны третьей прямой, то они параллельны.
