Lebesgue–Vitali theorem