theorem Th27: :: CARD_FIL:27

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