Let $f = a_1 x_1 + \cdots + a_n x_n$ be a polynomial in $n$ variables $x_j$ over an infinite field $F$ with coefficients $a_j\in F$.
Let $p_1, \dots, p_m$ be $m$ distinct points in $F^n$.
Now consider the following statement:
One can choose $a_1, \dots, a_n$ such that $f$ takes distinct values at the $p_j$.
This statement is clear intuitively, as a "random" choice of the $a_j$ should guarantee this.
However, is there a rigerous proof of this fact?