$$f:\mathbb{R}\rightarrow\mathbb{R}$$ fonksiyonu türevli ve türevi $0$ ise $f$ fonksiyonu sabit fonksiyon olmak zorundadır.
$f:\mathbb{R}\rightarrow\mathbb{R}$ fonksiyonu türevli ise süreklidir. $x,y\in\mathbb{R}$ ve $x<y$ olsun. $f$ sürekli olduğundan $f$ fonksiyonunun $[x,y]$ aralığına kısıtlanışı olan $$f:[x,y]\rightarrow \mathbb{R}$$ fonksiyonu da süreklidir ve $f:\mathbb{R}\rightarrow\mathbb{R}$ fonksiyonu türevli olduğundan $$f:(x,y)\rightarrow\mathbb{R}$$ fonksiyonu da türevlidir. O halde Ortalama Değer Teoremi uyarınca $$\frac{f(x)-f(y)}{x-y}=f'(c)$$ olacak şekilde $(x,y)$ aralığında en az bir $c$ elemanı vardır. Fonksiyonun türevi $0$ $(f'(x)=0)$ olduğundan her $x,y\in\mathbb{R}$ için $$f(x)-f(y)=0$$ yani $$f(x)=f(y)$$ olur. Bu da $f$ fonksiyonunun sabit bir fonksiyon olmasını gerektirir.
Sonuç olarak gerçel sayılardan gerçel sayılara tanımlı ve türevi $0$ olan fonksiyon sabit fonksiyondan başka bir fonksiyon olamaz.