>>858
つまり検証出来ないということは
正しさを証明出来ないってことよな