>>61
>>29で
　f ( 1 - i ) = 0　………(1)
は仮定されているが
　f ( 1 + i ) = 0　………(2)
は仮定されていない。
「(1) のとき f ( x ) が x ^ 2 - 2 * x + 2 で割り切れる。」と言うためには
(2) の成立を言わなければいけないが、言わなくていいのか？
というのが>>60の意味。