Em decorrência do fato que a função temgera dois valores iguais para a e para b, além de ser derivável, isto implica na existência de um número crítico ''c'', entre estes dois pontos, visto que o teorema T15 demonstra este fato, além de afirmar que este extremo tem derivada nula, provamos que o teorema é valido para <math>f(x) \ne 0</math>. Por outro lado se <math>f(x)=0</math> a derivada de <math>f(c)</math> também é nula, visto que <math>f(x)-f(c)=0</math> quando o limite <math>\lim_{x \to c} (x-c)</math> é alcançado, portanto:
