Vì ∠xOy = m (mà 0<m<180)
⇒ Vì Ot là tia pg của xOy ⇒ xOt=tOy ⇒ 0 < xOt = xOy < 180 (1)
⇒ đường thẳng a đi qua điểm A trên tia Ox không thể vuông với tia Oy (2)
Từ (1) và (2) ⇒ đường thẳng a sẽ không bao giờ song song với tia ot (đpcm)
Vậy ⇒ Đường thẳng a luôn luôn sẽ cắt Ot