proposition (Lebesgue criterion): A bounded function is Riemann integrable iff μDf=0 for Df its discontinuity set.