theorem :: ORDINAL5:32

for a, b being Ordinal st 0 in a & omega c= b holds
a |^|^ b = a |^|^ omega