ルベーグ測度
Vitali's covering theorem for the Lebesgue measure.