Del Teorema de Caracterización que dice que si "f" es integrable en ["a,b"] entonces ∀ε>0 ∃ "P" partición de ["a,b"] : 0≤U("f,P")-L("f,P")≤ε, evidencia la equivalencia entre las definiciones de Integral de Riemman e Integral de Darboux pues se sigue que