Uz taisnā leņķa \(KLM\) malām atlikti punkti \(X\) un \(Y\) (katrs uz savas malas); uz tā bisektrises ņemts tāds punkts \(O\), ka \(\sphericalangle XOY=90^{\circ}\). Pierādīt, ka \(OX=OY\).