theorem Th40: :: ORDINAL3:40

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