Giả sử a không song song với bGiả sử a không song song với b
⇒⇒ a cắt b tại 1 điểm Ma cắt b tại 1 điểm M
Như vậy qua M có 2 đường thẳng a // c ; b // cNhư vậy qua M có 2 đường thẳng a // c ; b // c
⇔⇔ Điều này trái với Tiên đề Ơ- clitĐiều này trái với Tiên đề Ơ- clit
⇒⇒ Vậy điều giả sử là saiVậy điều giả sử là sai
⇒a⇒a // b