let M be non countable Aleph; :: thesis: ( M is strongly_Mahlo implies M is strongly_inaccessible )
assume A1: M is strongly_Mahlo ; :: thesis: M is strongly_inaccessible
then A2: M is strong_limit by Th31;
M is regular by A1, Th27, Th28;
hence M is strongly_inaccessible by A2, CARD_FIL:def 15; :: thesis: verum