фараз қиламиз rn(x)ни хатоликни тугун нуқтадан иборат бўлмаган бирон x [a,b] нуқтада баҳолаш талаб қилинган бўлсин. К константани g(x)=0 шартни қаноатлантирадиган қилиб танлаймиз. Бунинг учун
қилиб олиш етарли.
Фараз қиламиз, f(s) кесмада n+1 та узлуксиз ҳосилаларга эга бўлсин. g(s) функцияси [a,b] кесмада n+2 тадан кам бўлмаган нуқталарда нолга айланади. Шунинг учун Ролл теоремасига асосан g'(s) [a,b] да камида n+1 та нуқтада нолга айланади. gH(s) n тадан кам бўлмаган нуқталарда ва ҳ.к., g(n+1)(s) энг камида бирта нуқтада нолга айланади.
[a,b] нуқтада баҳолаш талаб қилинган бўлсин. К константани g(x)=0 шартни қаноатлантирадиган қилиб танлаймиз. 
кесмада n+1 та узлуксиз ҳосилаларга эга бўлсин. g(s) функцияси [a,b] кесмада n+2 тадан кам бўлмаган нуқталарда нолга айланади. Шунинг учун Ролл теоремасига асосан g'(s) [a,b] да камида n+1 та нуқтада нолга айланади. gH(s) n тадан кам бўлмаган нуқталарда ва ҳ.к., g(n+1)(s) энг камида бирта нуқтада нолга айланади.
