theorem Th19: :: SIN_COS2:19

for p being Real holds
( cosh . (- p) = cosh . p & sinh . (- p) = - (sinh . p) & tanh . (- p) = - (tanh . p) )