12.1 割集重定时规则2