theorem :: FUZIMPL3:23

FNegation I_KD = N_CC