theorem Th16: :: SIN_COS2:16

sinh . 0 = 0