theorem Th31:
  f in L1_CFunctions M implies f in a.e-Ceq-class(f,M)
proof
    assume
A1: f in L1_CFunctions M;
    f a.e.cpfunc= f,M by Th22;
    hence f in a.e-Ceq-class(f,M) by A1;
end;
