ntt算法中模数必须为质数么