1. N ∣ (a^r − 1) = (a^{r/2} − 1)(a^{r/2} + 1)(阶定义 + 平方差)
2. 两因子之差为 2 → gcd(a^{r/2}−1, a^{r/2}+1) ∣ 2;N 奇 → 奇素数 p 不能同时整除两因子
3. 每个素幂 p^e 整体落入一侧:N = N₋·N₊,其中 N₋ = gcd(a^{r/2}−1, N)、N₊ = gcd(a^{r/2}+1, N),且 gcd(N₋, N₊) = 1
4. N₋ = N ⟺ a^{r/2} ≡ 1,与 r 的最小性矛盾(0 < r/2 < r);N₊ = N 被引理条件排除 → 1 < N₋, N₊ < N