Chứng minh Oz, Ot nằm giữa Ox, Oy:
$\widehat{yOz}=90^o$
$\widehat{yOx}>90^o$
$\Rightarrow \widehat{yOz}<\widehat{yOx}$
$\Rightarrow$ Oz nằm giữa Ox, Oy.
Tương tự, Ot nằm giữa Ox, Oy.
Mà $\widehat{tOx}=90^o$ nên $\widehat{tOy}<90^o$
$\widehat{yOz}=90^o\Rightarrow \widehat{yOt}<\widehat{yOz}$
Vậy Oz, Ot nằm giữa Ox, Oy và Ot nằm gần Oy hơn.