theorem :: SIN_COS5:46

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