theorem Th6: :: DIOPHAN1:6

for r being Real
for n being Nat holds (c_n r) . n is Integer