如果不能证明错误，也就不能证明正确。