theorem MaxEqMax: :: FUZIMPL4:32

for f, g being Fuzzy_Negation
for ff, gg being Membership_Func of [.0,1.] st f = ff & g = gg holds
max (f,g) = max (ff,gg)