Giả thuyết: Một đường thẳng cắt hai đường thẳng song song tạo thành 1 cặp góc so le trong bằng nhau.

Kết luận: Hai đường thẳng đó song song.

Giả thuyết và kết luận bằng kí hiệu của định lí:
Giả thuyết: AB cắt CD và EF tại các điểm M và N.
Kết luận: EF song song với CD.

Vẽ hình minh họa và ghi giả thuyết, kết luận bằng kí hiệu:
Vẽ hình minh họa:
```
A
|
|
-----M-----B
|
|
-----N-----C
|
|
D
```
Giả thuyết: AB cắt CD và EF tại các điểm M và N.
Kết luận: EF song song với CD.

Kí hiệu: AB // CD (giả thuyết), EF // CD (kết luận).