8.5.2 使用代数方法得到极小项和规范形式