theorem Th8: :: SIN_COS6:8
for r being Real
for i being Integer holds sin . r = sin . (r + ((2 * PI) * i))