Vẽ hình minh họa, ghi giả thiết, kết luận bằng kí hiệu và chứng minh định lí sau: Nếu một đường thẳng cắt một trong hai đường thẳng song song thì nó cũng cắt đường thẳng kia.

Lời giải:

Giả thiết: a // b, c cắt a.

Kết luận: 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 song óng với b nên qua điểm A có hai đường thẳng a và c cùng song song với đường thẳng 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.