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 .
The one-dimensional -linear subspace contains a direct complement, that is,
with some linear subspace . The projection onto for this decomposition sends to .