Cho định lí: “Nếu Ax, By là hai tia phân giác của hai góc so le trong tạo bởi một đường thẳng cắt hai đường thẳng song song thì Ax song song với By”. Giả thiết của định lí trên là:
Giả thiết của định lí: “Nếu Ax, By là hai tia phân giác của hai góc so le trong tạo bởi một đường thẳng cắt hai đường thẳng song song”.