密钥差异-定理和定理常用于数学的两个常用术语假设语句假设属实,无证据定理语句可证明属实关键参数和定理之差常有定理