Leonhard Euler, tras mucho esfuerzo, el primero que dio una demostración formal basada en descenso infinito.