theorem :: SIN_COS7:6

for x, y being Real st y >= 0 & x >= 1 holds
(x + 1) / y >= 0 ;