I think we have all the information we need to prove it. It seems to me that the solution to this lies in applying:
\frac{\partial x_j}{\partial x_k}=-\frac{\partial f/ \partial x_k}{\partial f/ \partial x_j}
However, I haven't been able to find a proof that involves the general n-variable...