theorem Th4: :: YELLOW_8:4

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