>>522
ありがとうね

ともかく>>492の”箱入り無数目は、箱の中身が丸見えでもOK！”
で明らかになったことは
使うのは、6個なり100個なりの有限個の同値類とその代表のみ
よって、有限選択で足りて、選択公理は無しでも
箱入り無数目トリックは、実現できるということ

そこが明確になったことは
君の大きな功績だ
では