theorem :: POWER:6

for n being Nat st n >= 1 holds
n -root 1 = 1