El teorema fue prácticamente demostrado por primera vez por Euclides, aunque la primera demostración completa apareció en las Disquisitiones Arithmeticae de Carl Friedrich Gauss.