https://en.wikipedia.org/wiki/Agrawal%27s_conjecture

Let n and r be coprime positive integers.

Suppose (x - 1)^n = x^n - 1 (mod n, x^r - 1)

Then either n is prime or n^2 = 1 (mod r).