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