等式的两条基本性质