theorem
  Rank card Tarski-Class W is Tarski by Th38;
