theorem
  f is_simple_func_in S implies f is A-measurable by Th49,MESFUNC2:34;
