Cho định lí: “Nếu Ax, By là hai tia phân giác của hai góc đồng vị 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í trên là: “Nếu Ax, By là hai tia phân giác của hai góc đồng vị tạo bởi một đường thẳng cắt hai đường thẳng song song”.