問題ではないのですが、「実係数の多変数多項式(次数は有限)が無限に多くの実根を持つならば、その係数は全て0である」ということは言えるでしょうか？？