Sturm theorem

теорема Штурма (определяющая число вещественных корней алгебраического уравнения, лежащих между двумя произвольно выбранными значениями переменной)