Este teorema fue conjeturado por primera vez por Pierre de Fermat en 1637 en el margen de una copia de Arithmetica, donde afirmó que tenía una prueba que era demasiado grande para encajar en el margen.