theorem Th11: :: SIN_COS6:11

for r being Real
for i being Integer st (2 * PI) * i < r & r < PI + ((2 * PI) * i) holds
sin r > 0