当前归结式是（）时，则定理得证。

当前归结式是（）时，则定理得证。
A.永真式
B.包孕式（subsumed）
C.空子句
D.以上都不对
正确答案：C