9.2 对积进行归约