Section StepFun.
Context {V : NormedModule R_AbsRing}.
End StepFun.

Lemma ex_RInt_continuous {V : CompleteNormedModule R_AbsRing} (f : R -> V) (a b : R) :
(forall z, Rmin a b <= z <= Rmax a b -> continuous f z)
-> ex_RInt f a b.