関数F(x,y)は点A(a,b)を含むある領域でC^1級とし、F(a,b)=0,Fy(a,b)≠0と
する。
このときx=aを含むある開区間Iで定義されたC^1級関数y=f(x)で
b=f(a),F(x,f(x))=0(x∈I)
を満たすものがただ１つ存在する。このとき、次式が成り立つ。
f'(x)=-Fx(x,y)/Fy(x,y)

>>420で述べた何かとはf'(x)=-Fx(x,y)/Fy(x,y)より上の部分のことです。