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