朱诺论文中关于Blum-Blum-Shub发生器的一个证明问题

Question

我在读朱诺关于Blum-Blum-Shub发电机的论文。关于他对引理4的证明，有一件事我只是不理解。他在第17页写道：

我们得出的结论是，x=-x_0和引理1我们知道x \ne x_0 (据我所知)，所以他们必须有不同的配对(为什么是这样的？)，n存在奇数，这是一个矛盾。

你能给我解释一下吗？

Answer 1

如果x_0是奇数，那么-x_0 = n - x_0必须是偶数(反之亦然-visa)。