>箱入り無数目の証明が存在しないとする側は
その側の見解がいかなるものであろうと
その側が存在すること自体は
否定できない