theorem
  f\g c= max(f,g)\g by Th4,FUZZY_1:17;
