将“等量代换”改写成“如果…那么…”的形式.