theorem :: FUZIMPL3:28

FNegation I_FD = N_CC