Le théorème a été 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.
Le premier détail et correct était dans les Disquisitiones Arithmeticae par Carl Friedrich Gauß.