Redirecting to Lebesgue's density theorem