This was a factor in the original equations and derivative polynomial having a common root, and it was an application of the previously mentioned elimination theory.
これは、元の方程式とその導多項式が共通解をもつための条件にほかならず、先の消去の理論の応用である。