let M be non countable Aleph; :: thesis: ( M is Mahlo implies M is inaccessible )
assume M is Mahlo ; :: thesis: M is inaccessible
then ( M is regular & M is limit_cardinal ) by Th27, Th28;
hence M is inaccessible by CARD_FIL:def 13; :: thesis: verum