theorem
  X c= dom f & f|X is constant implies f is_continuous_on X by Th43,Th45;
