for n being Element of NAT st n <> 0 holds
n -tuples_on {} = {}