The implicit function theorem for maps that are only differentiable: an elementary proof - Oliveira, Oswaldo Rio Branco de (Real Analysis Exchange, 2018)