展开 解方程去括号的理论依据是什么