theorem Th26: :: CARD_LAR:26

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