theorem Th28:
  f a.e.= f,M
proof
  {} is Element of S by PROB_1:4;
  then consider E being Element of S such that
A1: E = {};
A2: f|E` = f|E`;
  M.E = 0 by A1,VALUED_0:def 19;
  hence thesis by A2;
end;
