>>685
そういう多項式が0以外に存在しないこと
という結論の方がスムーズにいけると思う