David Hilbert's first work on invariant functions led him to the demonstration in 1888 of his famous finiteness theorem.
