[0,1)上の一様分布で点xを確率変数と見て
X1=[2x]
X2=[4x]
Xn={2^nx]
…（[ ]はガウス記号）
とするとこの無限の確率変数族は独立で
Y=1 for x∈L, 0 otherwise
とした確率変数Yとも独立じゃないかな
それはLが2^-nの平行移動（回転）で不変だからたぶん言える
ここにその0-1法則とやらを使って何か言えるんだろうか