theorem Th52: :: REAL_3:52

for r being Real st (scf r) . 1 > 0 holds
for n being Nat holds (c_d r) . n > 0