箱入り無数目に対して
「列の全てが分かるか頭の有限個の項が隠されるかに関わらず
　同じ代表がとれるとは限らねぇ！」
といちゃもんつけるのは勝手だけど
それが選択公理を否定していることには気づけよな