It is proved that, for every infinite field F, the polynomial ring F[t₁, … , tn] has Krull dimension n. The proof uses only “high school algebra” and the rudiments of undergraduate “abstract algebra.” ...