The inverse function theorem

I'd like to see a proof of the inverse function theorem in the setting of synthetic differential geometry. It seems awkward that such a basic geometrical fact needs analysis to prove.