Polynomial nonvanishing below the field size

Let $P\in {\mathbb{F}}_p[x_1,\dots ,x_n]$ have total degree of a polynomial less than $p$. If the associated polynomial function vanishes on all of ${\mathbb{F}}_p^n$, then $P$ is the zero polynomial. Induct on $n$: writeFor each fixed $(x_1,\dots ,x_{n-1})$, the resulting univariate polynomial of degree less than $p$ has all $p$ field elements as roots, so every coefficient $P_j$ vanishes everywhere. The induction hypothesis makes every $P_j$ the zero polynomial.