8.5.3 极大项积规范形式