theorem Th20: :: PREPOWER:20

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