x^7 + 1 = 0