Дано: а || m, b || m.
Доказать: а || b.
Доказательство:
Предположим, что а || b, тогда они пересекаются в некоторой точке A. Значит, через точку A проходят две прямые (a и b), параллельных прямых, что противоречит параллельных прямых. Следовательно, наше предположение неверно, и а || b.