En caso de cumplirse habríamos demostrado que la función f es integrable según Riemann en formula_3 y habríamos hallado su valor; en caso de no cumplirse no habríamos probado nada en absoluto.