Matsumoto's theorem