theorem :: CLASSES2:12

for X, W being set st X in Tarski-Class W holds
card X in Tarski-Class W by Th11;