Es sei v∈V{\displaystyle {}v\in V} mit φ(v)=0{\displaystyle {}\varphi (v)=0}. Nach Fakt (3) ist
also ist auch φ^(v)=0{\displaystyle {}{\hat {\varphi }}(v)=0} und v∈kernφ^{\displaystyle {}v\in \operatorname {kern} {\hat {\varphi }}}. Wegen