prove more about integer exponentiation