Nonperturbative proof of the non-Abelian anomalies