Доказательство того, что две параллельные прямые пересекаются.