If is irreducible of dimension , choose a nonzero -rowed minor of a Jacobian matrix at one point of minimum tangent dimension. Its nonvanishing locus is a nonempty Zariski-open set on which the Jacobian has rank , so every point there is smooth. Irreducibility makes every nonempty Zariski-open set dense.
Codex Wiki