The implicit and inverse function theorems: easy proofs - Oliveira, Oswaldo Rio Branco de (Real Analysis Exchange, 2013)