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