theorem Th22: :: CLASSES1:22

for X being set st X is epsilon-transitive holds
for A being Ordinal st A <> {} holds
Tarski-Class (X,A) is epsilon-transitive