theorem :: CARD_4:2

omega is countable ;