theorem FNegD2: :: FUZIMPL4:26

FNegation I_I4 = NegationD2