Rule of exponentiation