Пусть прямые a и b параллельны прямой c. Представим, что a ∦ b, значит они не пересекаются в любой точке B. Тогда, через точку B проходят две прямые, параллельные прямой c. Но, так как через точку, не лежащую на данной прямой, можно провести не более одной прямой, параллельной данной, значит наше предположение неверно.
Вывод: Теорема доказана