theorem Th3: :: CARD_5:3

for A being Ordinal holds aleph A is infinite