Giả sử d1 không song song với d2, suy ra d1 cắt d2 tại 1 điểm nào đó và d1 ko trùng với d2.
Theo điên đề Ơ-clit, qua một điểm nằm ngoài một đường thẳng ta vẽ được một và chỉ một đường thẳng song song với đường thẳng đã cho. Điều này mâu thuẫn với điều trên do d1 và d2 cùng // với d3.