theorem :: FUZZY_2:23

for C being non empty set
for f, h, g being Membership_Func of C holds f \ (g \+\ h) c=