theorem
  f is_integrable_on M implies f|A is_integrable_on M
by MESFUNC5:97;
