低级错误与有效证明