証明過程が本質の問題か