theorem Th36: :: CARD_LAR:36

for M being non countable Aleph st M is strongly_inaccessible holds
Rank M is Tarski