theorem Lemma15331: :: FUZIMPL4:8

for I being BinOp of [.0,1.]
for N being negation-strong Fuzzy_Negation st I is N -satisfying_R-CP holds
I is N -satisfying_CP