El teorema fue, por primera vez, fehacientemente demostrado por Gauss, en 1801 en su libro "Disquisitones Arithmeticae", donde da dos demostraciones del mismo.