La demostración formal no se dio hasta la publicación de las "Disquisitiones Arithmeticae" por Carl Friedrich Gauss en 1801.