Fix n, k E N+ with n > k. Let F : R* - Rock and define G : Rk x R"-k _ R"-k by G(x, y) = y -F(x) for (x, y ) ERk x R"-k. Fix a E R* and p = (a, F(a)) ERk x R"-k. Assume Fis Cl. (1) Prove that G is C at p by expressing G in terms of linear maps and F, and by applying properties of Cl maps. . (2) Compute the Jacobian matrix DG(p) in terms of a and the partials of F. No justification necessary