La conjetura fue posteriormente refinada por Gauss con la expresión que, actualmente, se asocia más frecuentemente al teorema.