theorem
  card Tarski-Class W = card Rank card Tarski-Class W by Th34;
