theorem :: CARD_1:19

for A being Ordinal holds aleph (succ A) = nextcard (aleph A) by Lm1;