statement and prove Schwartz–Zippel lemma