Trên đường thẳng xx' lấy điểm O. Trên nửa mặt phẳng bờ là đường thẳng xx', vẽ tia Oy sao cho góc xOy < 90. Vẽ tia Om là tia phân giác của góc xOy, cũng trên cùng nửa mặt phẳng ấy, ta vẽ tia On sao cho góc nOm = 90. Chứng minh rằng tia On là tia phân giác của góc yOx'