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

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