theorem :: FUZIMPL3:20

FNegation I_LK = N_CC