在使用存在量词消去规则时,要求引入的常项c（）出现在引入它的子证明的外面。

在使用存在量词消去规则时,要求引入的常项c（）出现在引入它的子证明的外面。
A.有时能
B.不能
C.可以
D.有时不能
正确答案：不能