theorem Th30:
  dom sinh=REAL & dom cosh=REAL & dom tanh=REAL by FUNCT_2:def 1;
