Esta demostración fue simplificada por Gauss en su libro Disquisitiones arithmeticae.Dedekind dio otras dos demostraciones basadas en la aritmética de los enteros gaussianos.