ta có a, b, c là 3 đường thẳng phân biệt và a//b, c//b
giả sử a cắt c tại O
như vậy qua O ta kẻ được hai đường thẳng a và c cùng // với c như vậy trái với tiên đề Oclit (qua 1 điểm nằm ngoài đường thẳng ta chỉ kẻ được 1 và chỉ 1 đường thẳng // vơi đường thẳng đã cho)
=> a //c