theorem :: FUZZY_4:24

for C1 being non empty set
for f being RMembership_Func of C1,C1 holds f (#) (Zmf (C1,C1)) = (Zmf (C1,C1)) (#) f