theorem Lemma15323: :: FUZIMPL4:7

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