let M be Aleph; :: thesis: ( M is measurable implies M is inaccessible )
assume M is measurable ; :: thesis: M is inaccessible
then ( M is limit_cardinal & M is regular ) by Th33, Th38;
hence M is inaccessible by Def13; :: thesis: verum