theorem :: POWER:9

for a being Real holds 1 -root a = a