为什么结局状态必然是 $\{ m,m,n\pmod m\}$。 而不是有可能 $\{m-1,m-1,...\}$ 之类的，败方不能通过一些方式扭转合并次数吗。