Lí luận tại sao nếu b//a và c//a thì b//c
Giải thích
Giả sử b và c không song song nên b cắt c tại điểm O nào đó.
Ta có: O ∉ a vì O ∈b và b//a
Vậy qua điểm O kẻ được hai đường thẳng b và c cùng song song với đường thẳng a, điều đó trái với tiên đề Ơ clit
Vậy b//c