Есть аксиома такая, если прямая параллельна одной из двух параллельных прямых, тогда она параллельна и второй.
Теперь, если прямые не пересекаются, то они параллельны. Но нам известно, что прямая пересекает одну из двух параллельных прямых, соответственно, она не может быть параллельной (не пересекаться) со второй. Это следствие вытекает из аксиомы. Если бы она не пересекала вторую, значит и к первой была бы параллельна.
Примечание. Все вышесказанное справедливо для прямых относящихся (принадлежащих) одной плоскости.