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