Hörmander, L. On the Nash-Moser Implicit Function Theorem. Ann. Fenn. Math. 1985, 10, 255-259.