并排比较

两题都用幂在模素数下的合法乘法周期或阶来控制指数，但量词方向不同。证明某个整除事件会无限发生，可以固定指数余类再构造见证；限制所有质因子时，发现一个禁用质因子就足以排除整个指数。

一题合并兼容同余得到无限族，另一题利用较小指数的因子向大指数传递，逐项排除。