theorem :: ORDINAL5:29

for n being Nat st n > 1 holds
n |^|^ omega = omega