RT，并非 $n-k$ 只鼹鼠，应改为

一天早晨，前 $k$ 只 鼹鼠醒来了，而后 $m-k$ 只鼹鼠均在睡觉