regularity theorem for Lebesgue measure