Matsumoto's theorem (K-theory)