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