for M being Aleph st M is measurable holds
M is strongly_inaccessible by Th33, Th40;