theorem :: FUZIMPL3:27

FNegation I_WB = NegationD2