x0

/(/text{Summary}/) 实际上是做法的归纳一切皆是结论性的，没有证明！ 模 /(p/) 意义下的二次剩余有 /(/frac{p-1}2/) 个，二次非剩余也恰有那么多…