Es sei V {\displaystyle {}V} ein n {\displaystyle {}n} -dimensionaler K {\displaystyle {}K} -Vektorraum und es sei U ⊆ V {\displaystyle {}U\subseteq V} ein n − 1 {\displaystyle {}n-1} -dimensionaler Untervektorraum.
Dann gibt es eine Linearform f : V → K {\displaystyle {}f\colon V\rightarrow K} mit U = kern f {\displaystyle {}U=\operatorname {kern} f} .
