Demonstrație: mai întâi se presupune că A este generat finit ca o k-algebră și se alege o k-bază a lui . Se presupune că (doar un număr finit de sunt diferite de zero). Pentru fiecare ideal maximal al , se ia în considerare homomorfismul inelului(d). Atunci imaginea este prin urmare fie sau prin independență liniară, sau pentru toate Deoarece este arbitrară, există intersecția tuturor idealelor maximale unde ultima egalitate provine din teorema zerourilor a lui Hilbert. Deoarece este un ideal prim, aceasta implică fie , fie este idealul nul; adică, fie sunt toate zero, fie sunt toate zero. În cele din urmă, este o limită inductivă a k-algebrelor generate finit care sunt domenii de integritate și astfel, folosind proprietatea anterioară, este un domeniu de integritate.