theorem Th16: :: CARD_5:17

for M being Cardinal
for a being Aleph st ( a c= M or a in M ) holds
M is Aleph