theorem Th2: :: NUMBER15:2

for f being finite-support Function holds rng f c= (rng (f | (support f))) \/ {0}