Suppose that y is a regular value of the (Stack of Records Theorem) compact and has the same dimension as Y. Show that f:X -> Y, where X is Xnj- Prove there exists a set {xn- neighbor _ that_ '(y) is a finite disjoint union V, U Uv_ hood U of y in Y such that ~ibaborhood iof disndt ' ps each V, neighborhood diffeo- where V; is an open Pick disjoint neighborhoods W, of x, that morphically onto U. [HINT = 'that f(X U W) is compact are mapped diffeomorphically Show and does not contain y:] See Figure 1-13.