theorem Th28: :: ORDINAL5:28

for n, k being Nat st n > 1 holds
n |^|^ k > k