Vector/Linear form/Zero test/Fact
Appearance
Let denote a -vector space and let be a vector different from .
Then there exists a
linear form such that
.Let denote a -vector space and let be a vector different from .
linear form such that
.