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.
Tout d'abord, nous prouvons ce lemma.