Every open cover of an affine variety has a finite subcover. Refine it by distinguished opens . Their complements have no common point, so the Nullstellensatz writes as a finite combination of the ; the corresponding finite family of distinguished opens covers.
Codex Wiki