并排比较

先练习把线性同余化为一个可逆系数的方程，并核每个剩余类如何恢复原变量；再进入含乘积的有限域计数。后者必须把乘积右端为零与非零分开，非零时的唯一恢复不能无条件套用。

前题的固定系数始终可逆；后题中被除的变量可能为零，零支还有交叠计数。