证明错误也是对的，不是吗？