Kẻ Ay'//By, khi đó
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
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)