Теория по бинарному поиску