Proposition 1

For a family $(x_i)_{i \in I}$ of elements of an extension E of a field K to be algebraically free over K it is necessary and sufficient for the relation $f((x_i)) = 0$, where $f$ is a polynomial in $K[X_i]_{i \in I}$, to imply $f = 0$.