Kẻ Ay'//By, khi đó $\widehat{xAy'}=\widehat{xOy}$ (hai góc đồng vị). Vẽ tia Az là tia phân giác của góc xAy', suy ra $\widehat{xAz}=\frac{1}{2}\widehat{xAy'}=\frac{1}{2}\widehat{xOy}$
Ta chứng minh được góc xAz bằng góc tạo bởi tia Ox và tia phân giác của góc xOy (cùng bằng $\widehat{xOy}$). Mà chúng ở vị trí đồng vị nên Az song song với tia phân giác của góc xOy.
Như vậy, qua điểm M kẻ đường thẳng d vuông góc với Az thì đường thẳng d là đường thẳng d là đường thẳng đi qua M và vuông góc với tia phân giác của góc xOy (theo định lí phát biểu trong bài tập 26b)