theorem Th29: :: NEWTON02:36

for n being Nat
for q being real number st q > 0 & n > 0 holds
ex r being real number st q = r |^ n