theorem Th47: :: CLASSES2:47

for X being set st X is epsilon-transitive holds
Tarski-Class X is universal by CLASSES1:23;