>>491
>>これで列の尻尾同値類の代表列を知り、選んだ箱の中身の候補を知る
> なぜそれが可能なのかがまだ腑に落ちない

１．選んだ列の尻尾同値類が、選んだ箱より先の尻尾から判明する
２．選んだ列の尻尾同値類から、その代表列が、選択公理により選ばれる
３．選んだ列の尻尾同値類の代表列から、選んだ列の選んだ箱の中身の”候補”（一致するかどうかは別として）が得られる

どこから分からん？