Fermat llegó a demostrar el caso formula_1 mediante el método de descenso infinito; es probable que se haya engañado al creer que tenía una prueba para el caso general.