I am a little bit confused... Suppose that the derivative of a function $f$ has not full rank at a point $a$.
However, this does not imply that there doesn't exist an inverse function. We can only say that we are not allowed to apply the inverse function theorem which would guarantee the existence of an inverse function with nice properties, right?