. . . . . . "However, if p is an odd prime and both x and y exceed 1, we have x^p" .