Giả sử d1⧸\\ d2Khi đó d1 cắt d2 tại điểm A
Theo tiên đề Ơ-clit thì qua điểm A thì vẽ được 1 và chỉ 1 đường thẳng song song với d3
Mà d1 và d2 cùng qua A và song song với d3 nên trái với định lý
Vậy điều giả sử là sai :)) do đó ta luôn có d1 \\ d2