Nonperturbative Adler-Bardeen theorem