theorem
  f|X|X is bounded implies f|X is bounded;
