теңсіздігін аламыз. Алайда,. Ендеше (25) теңсіздігінен деген тұжырымға келеміз. Ал шекаралық есептің шарты бойынша . Бүл қарама-қайшылық жоғарыдағы ұйғарымның дүрыс еместігін көрсетеді. Теорема дәлелденді.
Дәл осы жолмен мына теореманы да дәлелдеуге болады.