Description: Closure law for integer exponentiation of complex numnbers. (Contributed by Mario Carneiro, 4-Jun-2014)