theorem Th3: :: NAT_4:3

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