reserve p,q,r,th,th1 for Real;
reserve n for Nat;

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