恒等的にゼロではない多変数の多項式 p(x_1, ..., x_n) があります。
この多項式が「ゼロとならない点」を一つ見つけるにはどうしたらよいのでしょう？

もし p が一変数だったら、 p の次数よりも多くの互いに異なる点を
持ってくれば、全部がゼロ点になることはないので一つは非ゼロなのですが、
多変数の場合にはどうしたらよいのかわかりません。