>>509
ルベーグ可測集合の定義だけ使った話だと思う
Kを内側から（あるいは外側から？）近似するボレル集合Lを取ると
μ(K)=μ(L)
だけど（何で？）
そのようなLはKとは違うんだから
すべての有限2進小数による平行移動で不変
すなわち尾事象になっている
ということをどう証明させられるんだろ？