Proving that there exist a nonsingular linear functional for a field of characteristic 0.
If $\alpha_{1},\ldots,\alpha_{m}$ are vectors different from zero vector, then there is a linear functional $f$ such that $f(\alpha_{i})\neq 0$