theorem Th10: :: SIN_COS6:10

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