theorem Th17: :: CLASSES1:17

for X being set ex A being Ordinal st Tarski-Class (X,A) = Tarski-Class (X,(succ A))