>>418
その確認作業が数学の進歩のために必要不可欠なステップであると信じて?