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