theorem :: CLASSES2:35

for W being set holds card (Tarski-Class W) = card (Rank (card (Tarski-Class W))) by Th34;