Talk:Matsumoto's theorem