[math-fun] Positive integers mod primes