反演归结（消解）证明定理时，若当前归结式是（  ）时，则定理得证。