theorem
  sinh|REAL is continuous by Th34,FDIFF_1:25;
