theorem Th21: :: PREPOWER:21

for a being Real st a >= 0 holds
1 -Root a = a