theorem Th18: :: INTEGRA8:18

cosh . 0 = 1