Rigorous construction of ground state correlations in graphene: renormalization of the velocities and Ward Identities