Matsumoto proved in his PhD thesis that if $F$ is a field than $K_2(F)=(F^*\otimes F^*)/(x\otimes (1-x))$. The original Matsumoto proof as it is written in Milnor's book on algebraic K-theory looks not really nice to me and one guy told me that there is another proof of this fact that uses "sheaves of groups on Severi-Brauer varieties" which seems nicer to me. This guy told me that it is due to Vaserstein (Васерштейн) but it seems that Vaserstein was interested in other questions and couldn't give this proof. Perhaps you know whom this proof belongs to and I'd be very grateful if you could give me the reference to the article.

Matsumoto proved in his PhD thesis that if $F$ is a field then $$K_2(F)=(F^*\otimes F^*)/(x\otimes (1-x)).$$

The original Matsumoto proof as it is written in Milnor's book on algebraic K-theory looks not really nice to me and one guy told me that there is another proof of this fact that uses "sheaves of groups on Severi-Brauer varieties" which seems nicer to me. This guy told me that it is due to Vaserstein (Васерштейн) but it seems that Vaserstein was interested in other questions and couldn't give this proof. Perhaps you know whom this proof belongs to and I'd be very grateful if you could give me the reference to the article.