theorem Th27: :: CARD_LAR:27

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