We notice that . We will also assume that are odd primes.

If . Let be the order of mod . This forces . If then and so , thus . If then . And so , however, this is an unintersting case because there is no restriction on . Thus, we can safely assume that . Thus, in either case since . Thus, we require that divides .