一般化。

O⊂R^2 は開集合とする。(a,b)∈O とする。
f:O→R はC^1級で f(a,b)＝0, f_x(a,b)≠0, f_y(a,b)≠0 とする。
このとき、超越数x,yであって、(x,y)∈O かつ f(x,y)＝0 を
満たすものが存在することを示せ。