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