theorem :: NEWTON:83

for k being Nat
for x being Real st x > 0 holds
x |^ k > 0