**Definition**Let be the unique integer (with respect to a fixed ) such that

**Conjecture**A natural number is a prime iff

The conjecture is obviously true when is prime, so it suffices to check when is composite.

## Bibliography

* indicates original appearance(s) of problem.