5.3 化简、提取与替换代入