 For sufficiently large , depending only on the Hilbert polynomial of , all higher cohomology groups of with coefficients in vanish, so in particular formula_13 has dimension , where is the Hilbert polynomial of projective space.Pick a sufficiently large value of .The -dimensional space is a subspace of the -dimensional space , so represents a point of the Grassmannian .