theorem Th42:
  f in x & g in x implies f a.e.cpfunc= g,M & Integral(M,f) = Integral(M,g)
  & Integral(M,abs f) = Integral(M,abs g)
proof
  assume that
A1: f in x and
A2: g in x;
A3: g in L1_CFunctions M by A2,Th39;
  f a.e.cpfunc= g,M & f in L1_CFunctions M by A1,A2,Th39;
  hence thesis by A3,Th36,Th38;
end;
