f'(c)\neq 0 olduğunu varsayalım. Bu durumda ya f'(c)>0 ya da f'(c)<0'dır.
I. Durum: f'(c)>0 olsun.
f'(c)>0\Rightarrow \lim\limits_{x\to c}\frac{f(x)-f(c)}{x-c}>0
\left.\begin{array}{rr}\Rightarrow (\exists \delta >0)(\forall x\in B^*(c,\delta))\left(\frac{f(x)-f(c)}{x-c}>0\right) \\ \\ x\in (c,c+\delta)\cap A\Rightarrow x-c>0\end{array}\right\}\Rightarrow
\Rightarrow (\forall x\in (c,c+\delta)\cap A)(f(x)-f(c)>0)
\Rightarrow (\forall x\in (c,c+\delta)\cap A)(f(x)>f(c))
elde edilir. Bu ise \max_{x\in A}f(x)=f(c) olması ile çelişir.
II. Durum da, I. Duruma benzer şekilde yapılır.