Neka je . U svakom koraku Lucija proširuje skup tako da odabire neki polinom s koeficijentima iz , različit od nulpolinoma, te skupu dodaje sve cjelobrojne nultočke tog polinoma. Postupak nastavlja odabirom drugog polinoma s koeficijentima iz tako proširenog skupa dok god na taj način može dobiti nove nultočke.
Dokaži da Lucija može konačnim nizom koraka proširiti skup do skupa koji nije moguće dalje proširiti. Koliko elemenata tada ima skup ?