theorem Th51: :: REAL_3:51

for n being Nat
for r being Real holds (c_d r) . n >= 0