Rigorous construction of ground state correlations in graphene: Renormalization of the velocities and Ward identities