En caso de que "f"("a") y "f"("b") tengan signos opuestos, el valor cero sería un valor intermedio entre "f"("a") y "f"("b"), por lo que con certeza existe un "p" en [a,b] que cumple "f"("p")=0.