Gerard 't Hooft and Martinus Veltman proved the renormalizability of gauge theories with spontaneous symmetry breaking around 1972