theorem
  f a.e.cpfunc= g,M implies g a.e.cpfunc= f,M;
