单项选择题

用归结反演证明定理时,若当前归结式为(),则定理得证。

A.永真式
B.包孕式
C.原子谓词
D.空子句