箱入り無数目の問題のポイントは選択公理ではなく尻尾同値類
別な同値類を考えれば解があるかもしれないのに、10年かかっても時枝以外の解を提示できない成立派