Theorem 12.0.1 · Exponent Rules
For any nonzero :
For whole numbers, just count factors. is copies of times more copies: copies in all. Dividing cancels of the copies, leaving . And is blocks of copies each: copies.
The rule is what keeps the division rule true: , and .