theorem
  f is_differentiable_on X implies f is_continuous_on X
by Th44;
