Pseudo-differential Operators and the Nash-Moser Theorem