以下对附加前提证明说法不正确的是。

A. 该方法对任一种形式的推理均可使用。
B. 当且仅当推理的结论是蕴含式，才可以使用附加前提证明法。
C. 使用该方法的第一步，是将结论的后件作为附加前提引入。
D. 附加前提证明法是自然推理系统p中的一种推理证明方法。