theorem Th1: :: WAYBEL12:1

for X, Y being set st card X c= card Y & Y is countable holds
X is countable