Vector/Linear form/Zero test/Fact/Proof

Proof

The one-dimensional -linear subspace contains a direct complement, that is,

with some linear subspace . The projection onto for this decomposition sends to .