theorem :: FUZIMPL4:28

for N being decreasing Fuzzy_Negation holds I_RS is N -satisfying_CP