theorem
  cosh is_continuous_in p by Th32,FDIFF_1:24;
