在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c