theorem Th27: :: CARD_5:28

for a being Aleph st cf a in a holds
a is limit_cardinal