x^7 + 1