El matemático alemán Leopold Kronecker proporcionó la mayoría de la prueba en 1853, cuyos huecos rellenaron Weber en 1886 y Hilbert en 1896.