theorem Th29: :: ORDINAL3:29

for A, B being Ordinal st A <> {} & A is limit_ordinal holds
B +^ A is limit_ordinal