Theorem
A necessary and sufficient condition for functions
and
to be related by the function F with
is
Proof
Suppose thatthen using the chain rule gives
and
(1)
Since {{partial F} over {partial f}} and {{partial F} over {partial y}} are not both zero, the equations (1) are consistent only if the determinant of the coeefient matrix
But
so