theorem :: CARD_1:23

for A, B being Ordinal holds
( A c= B iff aleph A c= aleph B )