He proved this by giving a constructive method for finding all of the invariants and their generators, but was not able to carry out this constructive approach for invariants in three or more variables.
Το απέδειξε δίνοντας μια κατασκευαστική μέθοδο για την εύρεση όλων των αναλλοίωτων και των γεννητριών τους, αλλά δεν ήταν σε θέση να πραγματοποιήσει αυτή την κατασκευαστική προσέγγιση για αναλλοίωτες με τρεις ή περισσότερες μεταβλητές.