theorem
  f is A-measurable & f is B-measurable implies f is (A\/B)-measurable
    by MESFUNC6:17;
