Следствием называется утверждение, которое является следствием из другого, более общего утверждения.

Дано: Прямая l пересекает одну из двух параллельных прямых m и n.

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