theorem :: FUZIMPL3:19

for N being Fuzzy_Negation holds
( NegationD1 <= N & N <= NegationD2 )