theorem Th50: :: REAL_3:50

for n being Nat
for r being Real holds (c_d r) . n in NAT