theorem Th8: :: COMPUT_1:8

for D being non empty set
for f being Function st rng f = D holds
rng <:<*f*>:> = 1 -tuples_on D