theorem Th28: :: CARD_FIL:28

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