Если луч OT делит угол AOK на два угла, то угол AOT является частью угла AOK. Следовательно, угол AOT меньше угла AOK.