theorem :: CARD_FIL:41

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