for n being Nat
for r being Real st n >= 1 holds
(scf r) . n in NAT by Th38, INT_1:3;