箱入り無数目は数学の世界にしか存在しない問題なんだから、前提、定理、証明を明示しないと議論にならない