The strict proof of this new implication base is complete and non-redundant for one reducible rule that adding attribute to premise and subtract attribute from conclusion is presented.

• 我们给出了这种新的蕴含基对前提加属性和结论减属性一条推导规则是完整、无冗余的严格证明。