IV.P73 — Finite-Stage Vacuum Existence and Uniqueness

For each n ≥ 1, V_n attains its minimum on S¹_n ⊂ Ω_n. After fixing residual U(1) phase, the minimizer ω_n* = argmin V_n is unique.