Prove a partial converse to Theorem 5-1: If MCRn is a k-dimensional manifold and xЄM, then there is an open set A C Rn containing and a differentiable function g: A →Rn-k such that A∩M = g-1 (0) and g1 (y) has rank n – k when g(y) = 0.