Properties of Exponentiation