Como resultado, demostró el teorema fundamental de Hilbert: mostrar la existencia de un conjunto finito de generadores, para las invariantes cuánticas en cualquier número de variables, pero de forma abstracta.