Докажите теорему: - "Две прямые, параллельные третьей, параллельны"

Две прямые, параллельные третьей, параллельны.  Это свойство называется транзитивностью параллельности прямых.  Доказательство  Пусть прямые a и b одновременно параллельны прямой c. Допустим, что a не параллельна b, тогда прямая a пересекается с прямой b в некоторой точке A, не лежащей на прямой c по условию. Следовательно, мы имеем две прямые a и b, проходящие через точку A, не лежащую на данной прямой c, и одновременно параллельные ей. Это противоречит аксиоме 3.1. Теорема доказана.  аксиома 3.1Через точку, не лежащую на данной прямой, можно провести прямую, параллельную данной, и притом только одну.