theorem Th4: :: CLASSES2:4

for X, W being set st W is Tarski & X in W holds
Tarski-Class X c= W