1: \begin{abstract} 

2: %Chiral gauge invariance, necessary

3: %for the Standard Model consistency, holds at a perturbative level under the anomaly cancellation conditions, 

4: %constraining the 

5: %charges of elementary particles.

6: The anomaly cancellation is a basic property of the Standard Model, crucial for its consistence. 

7: We consider a lattice chiral gauge theory of massless Wilson fermions interacting with 

8: a non-compact massive $U(1) $ field coupled with left and right handed fermions in four dimensions. We prove in the infinite volume limit, for weak coupling

9: and inverse lattice step of the order of boson mass, that the anomaly

10: vanishes

11: up to subleading corrections and  under the same condition as in the continuum.

12: The proof is based on a combination 

13: of exact Renormalization Group, non perturbative decay bounds of correlations and lattice symmetries.

14: \end{abstract}