# Local immersion theorem

Let  and  be differential manifolds of dimensions . Let  be a differentiable map between them. Let  be a point such that  is an immersion at  -- in other words, the induced map  is injective. Then, there exists a neighbourhood  in  and  in , and a choice of coordinate charts, such that the restriction of  to , viewed using those coordinate charts, is a map of the form: