Now, assuming that
,
we can recursively insert
*m*+*n*+1 different integer values for any *c*_{i} on which *F* depends.
As
for one of these values *F* does not vanish and
we can repeat the procedure with
*F*(*c*_{i}=*p*_{i}) instead of *F*. Choosing
at the end arbitrary (for example 0) values for the free *c*_{i} (Those on
which *F* does not depend!) we obtain the desired point *P*.