1次式に対してが成り立つとする。このときとはともにの定数倍であることを示せ。 であり、左辺は2次式なのではいずれも1次式。がで割り切れるので、はで割り切れる。つまり（は定数）とおけるが、このとき。についても同様。 途中は「因数分解は定数倍と順序…