Soit \(E\) un \(K\)-ev. On suppose qu’il existe \(p\) formes linéaires
\(f_1,\dots,f_p\) telles que :
\[\forall\ \vec x \in E,\ (f_1(\vec x) = \dots = f_p(\vec x) = 0)
\Rightarrow (\vec x = \vec 0).\]
Montrer que \(E\) est de dimension finie inférieure ou égale à \(p\).