>>461
f(x)=0の解は高々n個。
n個の異なる実根を持つことから、この解は全て実数で、重根はない。