theorem Th38:
f in Lp_Functions(M,k) implies f in a.e-eq-class_Lp(f,M,k)
proof
   assume A1: f in Lp_Functions(M,k);
   f a.e.= f,M by LPSPACE1:28;
   hence thesis by A1;
end;
