>>783 の判別式の定義とそれが有理整数であることは f(X) の既約性を
仮定しなくてもそのまま成立つことを注意しておく。
ただし、f(X) が重根をもつ場合は、その根を重複度だけ並べて
考える。この場合、判別式は 0 になる。