Differentiable retracts and a modified inverse function theorem

A lemma is presented which is a weak version of the inverse function theorem, in that differentiability is assumed instead of continuous differentiability. The result holds only for finite dimensional spaces; a counter-example is given for the infinite dimensional analogue. The lemma is used to answer a question posed by Nadler concerning differentiable retracts.