尻尾同値は、有限列で成り立つこと（最後の１箱さえ一致すればいい）を
無限列にそのまま持ち込むと間違います

なぜなら無限列に「最後の箱」は存在しないから

特に無限列の箱の添数が始順序数の要素の場合、
尻尾同値であれば、必ず始順序数の濃度の箱で一致します
可算無限列なら可算個　アレフ１列ならアレフ１個・・・
最後の１個だけ一致する、なんてことは絶対にありません