Es sei V {\displaystyle {}V} ein K {\displaystyle {}K} -Vektorraum und es sei v ∈ V {\displaystyle {}v\in V} ein von 0 {\displaystyle {}0} verschiedener Vektor.
Dann gibt es eine Linearform f : V → K {\displaystyle {}f\colon V\rightarrow K} mit f ( v ) ≠ 0 {\displaystyle {}f(v)\neq 0} .
