Power function/Positive base/Real exponent/Fact/Proof