theorem Th21: :: CARD_1:22

for A, B being Ordinal st aleph A = aleph B holds
A = B