theorem :: FINSEQ_2:142

for A being non empty set
for n being Nat holds n -tuples_on A c= A *