-係数多項式およびその根全体の成す集合に対し、の根はどの二つも相異なると仮定する(すなわち、は分離多項式)。