theorem :: CARD_1:47

card omega = omega ;