>>267
x^12-1 = (x-α)(x-α^2)(x-α^3)(x-α^4)(x-α^5)(x-α^6)*……
……(x-α^7)(x-α^8)(x-α^9)(x-α^10)(x-α^11)(x-α^12)
を証明するのが問題になっているわけだが。