Viết giả thiết, kết luận cho định lí sau: “Nếu một đường thẳng cắt hai đường thẳng phân biệt và trong số các góc tạo thành có một cặp góc so le trong bằng nhau thì hai đường thẳng đó song song với nhau.”