theorem :: CARD_FIL:39

for M being Aleph st M is measurable holds
M is inaccessible by Th33, Th38;