Y,X1,X2,…
が独立なのは直接言えた>>451,468
L∈T=tail(X1,X2,…)=∩σ(Xn+1,…)
も示した>>495
あと2つ示せたら
Yが自分自身と独立が言える
・L∈B(J)
・B(J)の元とTの元は独立