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