Hyperplane/Kernel of a linear form/Fact

Let be an -dimensional -vector space, and let denote an -dimensional linear subspace.

Then there exists a

linear form such that

.