How to prove the power rule for negative integer exponents