theorem :: CARD_4:1

for X being set st X is finite holds
X is countable ;