for X, Y being set st X,Y are_equipotent & X is countable holds
Y is countable