C^∞ of a true inverse