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 misses B holds
      M.(A \/ B) = M.A + M.B by Def3;
