f(x,y)の∂f/∂y≠0となる点の周りで定義された
f(x,y(x))=0をみたす関数y=y(x)が連続であることは
どうやって示すのでしょうか？