并排比较

先用单位模把复方程压缩成两个圆的交点候选，再利用候选的有限乘法阶检验原幂关系；把固定指数换成整数参数后，这一步自然变成同余条件及计数。

前题只需对给定指数完成候选的排除或回代；后题必须证明整数条件既必要又充分，再处理指定整数范围的两端。