theorem Th8: :: SIN_COS3:8

for z being Complex holds ((cosh_C /. z) * (cosh_C /. z)) - ((sinh_C /. z) * (sinh_C /. z)) = 1