Для доказательства того, что прямая a параллельна прямой b, если они не пересекаются с общей прямой с, рассмотрим следующее.
Пусть точка A принадлежит прямой a, а точка B принадлежит прямой b. Также пусть точка C принадлежит общей прямой с плоскостей альфа и бета.
Так как прямая a не пересекается с прямой с, то все точки прямой a лежат в одной плоскости, не содержащей точку C. Аналогично, все точки прямой b лежат в одной плоскости, не содержащей точку C.
Таким образом, прямая a и прямая b лежат в параллельных плоскостях (плоскости альфа и плоскости бета), поскольку не пересекаются с общей прямой с.
Следовательно, прямая a параллельна прямой b.