Niels Henrik Abel partially proves that the general quintic or higher equations cannot be solved by a general formula involving only arithmetical operations and roots.
Augustin Louis Cauchy proves convergence of the Euler method. In this proof, Cauchy uses the implicit Euler method