theorem Th10: :: CARD_4:10

for D being non empty set
for n being Nat st D is countable holds
n -tuples_on D is countable