Generar una versió més complexa d'aquesta frase Suposem ara que el domini integral'' A'és una àlgebra graduada finitament generada sobre un camp'' k '.
Per descomptat, una versió més complexa de la frase és "Ara suposeu que el domini integral '' A 'és una àlgebra graduada finitament generada sobre un camp '' k 'generada per elements homogènics de graus d_i tals que '' A 'és un mòdul finitament generat sobre' B '".