theorem :: CARD_LAR:29

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