theorem Lemma15312: :: FUZIMPL4:6

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