Problem 3
Find all positive integers such that for any integer there exists an integer for which is divisible by .
Step 2 of 4: Primes one modulo four fail
Detailed analysis
If a prime p greater than three is one modulo four, minus one is a quadratic residue. Choosing a nonzero b with square minus one makes the values at zero and b equal, so the map is not a permutation modulo p.