theorem :: FUZIMPL3:26

FNegation I_YG = NegationD1