 Schwartz–Zippel lemma

The Schwartz–Zippel lemma is a result in fields like algebra and computational complexity theory, particularly in the context of polynomial identity testing. It provides a probabilistic method for determining whether a given multivariate polynomial is identically zero over a specific field, typically a finite field.