theorem Th38:
  f in L1_Functions M implies f in a.e-eq-class(f,M)
proof
  hereby
    assume
A1: f in L1_Functions M;
    f a.e.= f,M by Th28;
    hence f in a.e-eq-class(f,M) by A1;
  end;
end;
