theorem Th41: :: SIN_COS3:41

for x being Real holds cosh_C /. x = cosh . x