>>576
>開けたあとから代表元を取り直すことはできる

駄目 選択公理によって存在が示された選択関数を用いて
代表元を選択するのはプレイヤーでもディーラーでもない