Vector/Linear form/Zero test/Fact

Let denote a -vector space and let be a vector different from .

Then there exists a

linear form such that

.