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