theorem Th2: :: ORDINAL2:2

for A being Ordinal holds union (succ A) = A