Lehmer's totient problem

Statement

Lehmer's totient problem asks whether the following is true:

For a natural number

$n$

, if the Euler totient function

$\phi (n)$

divides

$n-1$

, then

$n$

must be a prime number.