基训P74-75讲解（3.1.2等式的性质）