Let be an integer. Consider the property :
For all integers , if then or .
Which of the following is correct?
A holds if and only if is prime
B holds if and only if is squarefree
C is sufficient but not necessary for to be prime
D holds if and only if is a prime power
E holds if and only if has at most two distinct prime factors