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