theorem :: FOMODEL0:10

for Y being set
for m being Nat st m is zero holds
m -tuples_on Y = {{}} by Lm6;