theorem :: CARD_4:13

for D being non empty set st D is countable holds
D * is countable