>>488
>これで列の尻尾同値類の代表列を知り、選んだ箱の中身の候補を知る

そういう意味だということは分かるのだが
なぜそれが可能なのかがまだ腑に落ちない