theorem Th22: :: HILBERT3:23

for A, B, C being set st ( not C = {} or B = {} or A = {} ) holds
for f being Function of A,(Funcs (B,C)) holds rng (Frege f) c= Funcs (A,C)