theorem
  sinh is_continuous_in p by Th31,FDIFF_1:24;
