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