Сформулируйте и докажите второе следствие из аксиомы параллельных прямых

Следствие 2.0 из аксиомы параллельности прямых говорит о том, что "Если две прямые параллельны третьей прямой, то они параллельны". 
Действительно, пусть прямые a и b параллельны прямой с. Докажем, что a||b
Доказательство:
Допустим, что прямые a и b  не параллельны, т.е. пересекаются в некоторый точке M. Тогда через точку М проходят две прямые (прямые а и b), параллельные прямой с. 
Но это противоречит аксиоме параллельных прямых. Поэтому наше предположение верно, а значит, прямые а и b параллельны.