Let \(F\colon M\to N\) be a smooth map. By application of the inverse theorem, we find coordinates, such that the representation of \(F\) looks almost like the identity. If it is an immersion, the representation has zero entries, if it is a submersion, some arguments vanish, and if it is a local diffeomorphism, the local representation is the identity.