外測度ならすでにあるんだけどね。