theorem Lemma156i: :: FUZIMPL4:18

for I being BinOp of [.0,1.]
for N being negation-strong Fuzzy_Negation st N = FNegation I & I is N -satisfying_CP holds
I is satisfying_(NP)