利用归结原理证明定理时，若得到的归结式为（），则结论成立。