ルベーグ測度
Regularity theorem for Lebesgue measure