theorem :: CLASSES2:39

for W being set holds Rank (card (Tarski-Class W)) is Tarski by Th38;