归结原则
1