theorem Th24: :: COMPUT_1:25

for D being non empty set
for f being homogeneous PartFunc of (D *),D
for n being Element of NAT st dom f = n -tuples_on D holds
arity f = n