>>739
ただそれだと
0=(0,0,…)
の同値類に定義した確率をそのまま使えないのでは