 Solution

The function is smooth, $f(0,0)=0$, andAt the origin both partial derivatives equal one. In particular, $f_y(0,0)=1\ne 0$, so the implicit function theorem supplies a neighbourhood in whichIn fact $h$ is smooth because $f$ is smooth.