theorem :: FUZIMPL3:22

FNegation I_RC = N_CC