theorem :: SIN_COS5:47

for x being Real st x <= 0 holds
sinh x <= 0