theorem Th40: :: REAL_3:40

for n being Nat
for r being Real st n >= 1 & (scf r) . n <> 0 holds
(scf r) . n >= 1