theorem :: HILBERT3:20

for C being set
for A being non empty set
for f being Function of A,(Funcs ({},C))
for g being Function of A,{} holds rng (f .. g) = {}