for M being non countable Aleph st M is strongly_inaccessible holds
card (Rank M) = M