Completed proof of renormalizability of non-Abelian gauge theory from Weinberg 17.2!