theorem Th8: :: SIN_COS6:8

for r being Real
for i being Integer holds sin . r = sin . (r + ((2 * PI) * i))