theorem Th40: :: CARD_FIL:40

for M being Aleph st M is measurable holds
M is strong_limit