A Proof of Local Convergence for the Adam Optimizer | Synapse