theorem
  (ex E be Element of S st E = dom f & f is E-measurable) & M.A = 0
  implies Integral(M,f|A)=0
by MESFUNC5:94;
