for n being Nat
for r being Real st ( for n being Nat holds (scf r) . n = 0 ) holds
(rfs r) . n = 0