(Lebesgue differentiation theorem). Let be a locally summable function. Then the following takes place everywhere except for a set of measure 0: