let M be Aleph; :: thesis: ( M is measurable implies M is strongly_inaccessible )
assume M is measurable ; :: thesis: M is strongly_inaccessible
then ( M is strong_limit & M is regular ) by Th33, Th40;
hence M is strongly_inaccessible by Def15; :: thesis: verum