代表元は当然、100列からランダムに1列選ぶ前に選ばれていなければならない。
（以前、「箱を開けながら代表元を作る」とか言ってた
とんでもないバカ野郎がいた。多分雑談ｗ）
そして、どんな出題にも回答できると言うためには
実は出題前に選ばれていなければならない。
しかも、すべてのR^N/〜代表系が揃っていることが必要。
だからこそ、選択公理が必要なんだよ。
そんなことも読み取れないバカ野郎には箱入り無数目は理解できない。