theorem Th40: :: SIN_COS3:40

for x being Real holds sinh_C /. x = sinh . x