theorem :: FUZIMPL3:24

FNegation I_GG = NegationD1