theorem
  f\g = Zmf(C1,C2) implies f c= g
proof
  Zmf(C1,C2) = EMF [:C1,C2:];
  hence thesis by Th26;
end;
