theorem :: SEQ_1:3

for f being non-zero PartFunc of NAT,REAL holds rng f c= REAL \ {0} by ORDINAL1:def 15, ZFMISC_1:34;