Qua A kẻ Ay' song song với By
=> Góc xAy' và góc xOy là hai góc đồng vị
Vẽ tia phân giác Az của góc xAy' thì Az song song với tia phân giác của góc xOy
Qua M kẻ đường thẳng d vuông góc với Az thì đường thẳng d vuông góc với tia phân giác của góc xOy.