Luodaan monimutkaisempi versio tästä lauseesta Oletetaan nyt, että integraalialue''A''on lopullisesti luotu asteittainen algebra kentän' 'k' yli.
Tietenkin monimutkaisempi versio lauseesta on "Ottakaamme nyt, että integraalialue '' A '' on lopullisesti tuotettu asteittainen algebra kentän '' k '' yli, jonka ovat luoneet homogeeniset elementit astetta d_i siten, että '' A '' on lopullisesti tuotettu moduuli yli '' B '".