Leonhard Euler dio en 1736 la primera demostración en un artículo titulado "Theorematum Quorundam ad Números Primos Spectantium Demonstratio" y es la siguiente: