Hyperplane/Kernel of a linear form/Fact
              < Hyperplane < Kernel of a linear form 
 
            
          Let be an -dimensional -vector space, and let denote an -dimensional linear subspace.
 Then there exists a 
linear form such that
.