theorem
  f|X is continuous iff f|X|X is continuous;
