Hörmander, L. On the Nash-Moser Implicit Function Theorem. Ann. Fenn. Math. 1985, 10 (1), 255-259. https://doi.org/10.5186/aasfm.1985.1028.