如何证明让一个方程结果不等于