Cho góc xOy, tia Oz nằm giữa hai tia Ox, Oy. Gọi Om, On lần lượt là tia phân giác của các góc xOz, xOy. Chứng minh rằng mOn^ ≤ 90°