La demostración formal del teorema la hicieron de forma independiente tanto Jacques Hadamard como Charles-Jean de la Vallée Poussin en el año 1896.