theorem Th28: :: CARD_LAR:28

for M being non countable Aleph st M is Mahlo holds
M is limit_cardinal