theorem Th44: :: CARD_1:46
aleph 0 = omega