Điền thêm vào chỗ trống để có định lý, sau đó gạch 1 đường dưới phần KL. Nếu Ot là tia phân giác của góc xOy thì