theorem
  f|X is bounded & f|Y is bounded implies f|(X \/ Y) is bounded
by Th85,Th86;
