GT: a//b, c cắt a.
KL: c cắt b.
Chứng minh: Giả sử c cắt a tại một điểm A. Nếu c không cắt b thì c //b nên qua điểm A có hai đường thẳng a và c cùng sng song với b, do đó theo tiên đề Euclid, c phải trùng với a .
Nhưng theo giả thiết, c khác a vì c cắt a, vậy không thể có c không cắt b.