8.5.1 有限域的模运算