Existe entonces al menos un real "c" comprendido entre "a" y "b" y tal que φ("c") = 0, lo cual implica "f"("c") = "g"("c").