利用等式的性质解方程的过程