>>469
>「箱がたくさん，可算無限個ある.
> 箱それぞれに，私が実数を入れる.
> どんな実数を入れるかはまったく自由，
> 例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
> もちろんでたらめだって構わない.
> そして箱をみな閉じる.」

その瞬間、無限列は確定する
当然、どの有限相違同値類に属するか確定する
また、どの項が同値類の代表元と異なるか確定する

無限個ある項のうち代表元と異なる項は高々有限個
（つづく）