theorem
  f|{x0} is continuous;
