theorem Th44:
  W is epsilon-transitive implies Rank card Tarski-Class W is_Tarski-Class_of W
by CLASSES1:2,Th38,Th42;
