数学几何的说理过程里面等量代换和等式性质有什么区别