如果\(p\)为奇素数
则\(x^2 \equiv 1~(mod~p)\)的解为
\(x^2~-~1 \equiv 0~(mod~p)\) 或者 \(x \equiv p~-~1~(mod~p)\)
可用平方差公式证明。