for A, B being Ordinal st A is limit_ordinal holds
A *^ B is limit_ordinal