The evasion of massless Goldstone bosons by the non-abelian Higgs mechanism is proved by a non-perturbative argument in the local BRST gauge.