theorem :: CLASSES1:11

for X, Y, Z being set
for A being Ordinal st Y c= Z & Z in Tarski-Class (X,A) holds
Y in Tarski-Class (X,(succ A)) by Th10;