Question
Which of the following statements is true for
p > 2:
A) Both 1 and -1 are distinct square roots of 1
in `ZZ_p`.
B) The elements 1 and -1 are equivalent square
roots of 1 in `ZZ_p`
?