8.2 模为素数的二项同余方程