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