>>619
M = (Jf)^{-1}|x=0 と置くと、
F[i] = M[i,k] { f[k] - .. } より
JF[i,j] = ∂F[i]/∂x[j] = M[i,k] ∂f[k]/∂x[j] = M[i,k] Jf[k,j] = (M. Jf)[i,j] = δ[i,j] (x=0)
F(0) = 0, C^∞ は明らか.