PolynomialMod[(x-2)(3x^2/7 + 2x/7) + (x^2 + x + 1)k, (x^2 + x + 1)], k =1