An inverse mapping theorem for Sobolev chains and its application

The author combines the methods used by Yamamuro and Omori to define a differentiation in Sobolev chains and obtain an Inverse Mapping Theorem. He then uses this theorem to give a new proof for a result of Sunada on the local finite-dimensionality of the solution space of a non-linear elliptic differential operator with smooth coefficients.