Vì `Oz` là tia phân giác của `\hat{x'Oy} -> Oz` nằm giữa `Ox'` và `Oy` `(1)`
Vì `Ot` là tia phân giác của `\hat{xOy'} -> Ot` nằm giữa `Ox` và `Oy'` `(2)`
Mà `\hat{xOy}` và `\hat{x'Oy}` là `2` góc đối đỉnh
`-> Ox ` là tia đối của `Oy` `(3)`
`-> Oy'` là tia đối của `Ox'` `(4)`
Từ `(1) ; (2) ; (3) ; (4)`
`-> Oz` và `Ot` là `2` tia đối nhau .