Доказать теорему о параллельности двух прямых третьей
Если две прямые параллельный третьей, то они параллельны. Они параллельный третьей, значит не пересекаются, и значит с друг другом тоже не пересекаются