>>770 うむ そして選択公理がない場合、一般の無限列では箱入り無数目は成功しない