Riemann Integrability

proposition (Lebesgue criterion):

A bounded function is Riemann integrable iff μDf=0 for Df its discontinuity set.