Плоскость параллельна прямой b, а ровная b параллельна плоскости y,

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