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