Giả thuyết: mặt đường thẳng cắt hai đường thẳng phân biệt và trong các góc tạo thành có một cặp góc so le trong bằng nhau
Kết luận: các góc đồng vị bằng nhau.
Chứng minh định lý:
- Giả thuyết: c cắt a tại A,c cắt b tại B-> A1=B2;
A2=B3
Kết luận:A3=B2;A2=B1;A4=B3;A1=B4