theorem :: FUZIMPL3:21

FNegation I_GD = NegationD1