theorem Th5: :: POWER:5

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