theorem Th5: :: HILBERT3:6

for A, B, C being set st ( not C = {} or B = {} or A = {} ) holds
for f being Function of A,(Funcs (B,C)) holds doms f = A --> B