Bu aralikta sabit olmadigini var sayalim. Bu durumda oyle $c,d \in (a,b)$, ($d>c$), vardir ki $f(c) \ne f(d)$ olur. Bu da bize Ortalama Deger Teoremi geregi bir adet $e \in (c,d) \subset (a,b)$ icin $$f^\prime(e)=\frac{f(d)-f(c)}{d-c} \ne 0$$ oldugunu verir. Celiski.