theorem :: CARD_5:4

for M being Cardinal st M is infinite holds
ex A being Ordinal st M = aleph A