theorem :: FUZIMPL3:18

for I being Fuzzy_Implication holds FNegation I is Fuzzy_Negation ;