Veinte años antes, Paul Gordan había demostrado el teorema de la finitud de generadores para formas binarias usando un complejo enfoque computacional.