Утверждение, которое называется следствием, это утверждение, которое можно вывести из других более общих утверждений или аксиом. В данном случае, чтобы доказать, что прямая, пересекающая одну из двух параллельных прямых, пересекает и другую, мы можем воспользоваться аксиомой параллельных прямых, которая гласит, что если прямая пересекает одну из параллельных прямых, то она пересекает и другую.
Для доказательства этого утверждения, предположим, что у нас есть две параллельные прямые, обозначим их как l и m, и прямую n, которая пересекает прямую l. Посмотрим на треугольники, образованные прямыми l, m и n. Так как углы на параллельных прямых равны, то у нас получится, что углы одного из треугольников будут равны углам другого треугольника. Из этого следует, что прямая n пересекает и прямую m.
Таким образом, мы доказали, что прямая, пересекающая одну из двух параллельных прямых, пересекает и другую.