for I being Fuzzy_Implication holds FNegation I is Fuzzy_Negation ;