theorem Th42: :: ORDINAL7:29

for a, b being Ordinal
for n being Nat st a in exp (omega,b) holds
n *^ a in exp (omega,b)