reserve X for set;

theorem
  for S being SigmaField of X, M being sigma_Measure of S,
      A,B being Element of S st A c= B & M.A < +infty holds
      M.(B \ A) = M.B - M.A by Th9;
