"When n is a positive integer, exponentiation corresponds to repeated multiplication:" . . . .