theorem Th20: :: COMPUT_1:21

for f being NAT * -defined homogeneous Function holds dom f c= (arity f) -tuples_on NAT