Nun supozu, ke la integrala domajno '' A '' estas finfine generita gradigita algebro super kampo 'k'.
Kompreneble, pli kompleksa versio de la frazo estas "Nun supozu ke la integrala domajno '' A '' estas finfine generita gradigita algebro super kampo '' k '' generita de homogenaj elementoj gradoj d_i tia ke '' A '' estas finfine generita modulo super '' B '".