Another "proof": x^n = exp((log x)n). By definition, exp(n+m)=exp(n)exp(m). By definition, a(b+c) = ab + ac (for the log x thing). QED. By the way, (the infam

Another "proof": x^n = exp((log x)n). By definition, exp(n+m)=exp(n)exp(m). By definition, a(b+c) = ab + ac (for the log x thing). QED. By the way, (the infamous calculus book) Baby Rudin has the poor reader show this property holds in exponentiation for reals, starting with integers and via rationals, as an exercise on its first chapter. Insane difficulty for me, even though the author practically holds your hand along the way! Cool read, though.