theorem Th15: :: CLASSES1:15

for X being set
for A being Ordinal holds Tarski-Class (X,A) c= Tarski-Class (X,(succ A))