theorem Th38: :: CARD_FIL:38
for M being Aleph st M is measurable holds
M is limit_cardinal