>>695 補足

>>673-676や>>658で示したことは、集合 R^Nに制約なしで、「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.」>>693だけの
設定だと、決定番号が有限にならない数列の同値類が、構成できるよと

それが、一見まっとうに見えながら、実は解法不成立のキモだろうと
まあ、>>336にも似たようなことは書いた