theorem Th5: :: CLASSES2:5

for A being Ordinal
for W being set st W is Tarski & A in W holds
( succ A in W & A c= W )