La primera demostración publicada se debe a Leonhard Euler en 1736 en un artículo titulado "Theorematum Quorundam ad Numeros Primos Spectantium Demonstratio".