それは、>>73 の言ってることが理解できてない。
f(x,y)=c,
g(x,y)=x^2+y^2,
f(x,y)=g(x,y)
というのは、関数等式としてし成立している。
f が定数関数であることは、両辺が x,y の
関数でないことを意味しない。
ここで更に y を x の関数と見なせば、
１変数の関数等式 f(x,y(x))=g(x,y(x)) となる。
この関数等式が x に関する恒等式であると同時に
関数 y についての方程式であることも当然である。