Witten Non Abelian Localization for Equivariant K-theory, and the [Q,R]= 0 Theorem