for a being Aleph st cf a in a holds
a is limit_cardinal