\displaystyle
\partial_y F(x_0,y_0;c)=0 ~ ~ \forall (x_0,y_0) \Rightarrow ~def. ~\overline f_{x_0}:=f \vert_{\{(x_0, y) : y \in R \}} \Rightarrow