任意の無限列100列について箱入り無数目の戦略で選ばれる100箱が存在する

そして、それらは
１．100箱のうち99箱が尻尾同値類の代表の対応する項と一致し、一箱が不一致
２．100箱とも尻尾同値類の代表の対応する項と一致するか
のいずれかしかない

このことはどう頑張っても否定しようがない