La preuve Le théorème a été pratiquement prouvé par Euclid -LRB- dans le livre 7 des éléments d'Euclid, propositions 30 et 32 -RRB-, mais la première preuve complète et correcte se trouve dans les Disquisitiones Arithmeticae de Carl Friedrich Gauss.
La première preuve détaillée et correcte se trouvait dans les Disquisitiones Arithmeticae par Carl Friedrich Gauß.