theorem Th42: :: CARD_3:42

for X being set st X is finite holds
card X in card omega