Less general versions of these theorems can be found in work of Richard Dedekind and previous papers by Noether.
Mniej ogólne wersje tych twierdzeń można znaleźć w pracach Richarda Dedekinda i wcześniejszych pracach Noether.