5.1.2 等式的性质