6.2.4 应用于数论变换的模乘算法