分からない問題はここに書いてね464

https://imgur.com/wP6ahgL.jpg

この問題の解答は以下のような流れでいいでしょうか？

g(x, y) = f(x) - yというR^{k+2*n}からR^nへのC^1級の関数を考える．
Dg(x, y) = (∂f/∂x, -I_n)
∂f/∂xの階数はnだから，変数x_1, …, x_{k+n}の中から従属変数をn個選べる．
y_1, …, y_nはすべて独立変数に含めることができる．