That trick is mod 8k + 1.
那就是要mod 8k + 1。