theorem :: COMPUT_1:6

for n being Nat st n <> 0 holds
n -tuples_on {} = {}