theorem Th38: :: CLASSES2:38

for W being set st W is Tarski holds
Rank (card W) is Tarski