Abstract:We nd necessary and su cient conditions for a Lipschitz map f : E ⊂ R k → X into a metric space to satisfy H k (f (E)) = . An interesting feature of our approach is that despite the fact that we are dealing with arbitrary metric spaces, we employ a variant of the classical implicit function theorem. Applications include pure unrecti ability of the Heisenberg groups.