>>958
・An=∪{[2m/2^n,(2m+1)/2^n):0≦m<2^(n-1)}はボレル集合
・{An}から定義されるσ加法族が[0,1)上のボレル集合族
・有理数による平行移動（mod 1）で不変な可測集合は有理数による平行移動で不変なボレル集合で任意に近似できる
・有理数による平行移動で不変な可測集合はA1,…,Anと独立
・有理数による平行移動で不変なボレル集合は自分自身と独立
・自分自身と独立であれば測度は0か1のみ
こんな感じだったかな？