Типтік бағдарлама негізінде құрастырылған

Соңғы шарт х₀ саны (2) теңдеудің түбірі екендігін көрсетеді. Сонымен (1) теңдеудің әрбір түбірі (2) теңдеудің де түбірі болады, яғни (2) теңдеу (1) теңдеудің салдары. Олай болса, түбір жойылмайды. Сонымен қатар (2) теңдеудің кейбір түбірлері 1) және 2) шарттарды қанағаттандырмауы, яғни (1) теңдеудің түбірі болмауы мүмкін.