3.1.2 等式性质