[单选题] 当前归结式是（）时，则定理得证。

A.永真式

B.包孕式（subsumed）

C.空子句

D.以上都不对