Por el Teorema de Rolle, como "g" es derivable en ("a", "b") y "g"("a") = "g"("b"), existe un "c" perteneciente ("a", "b") tal que "g"'("c") = 0, y por tanto: