本人小白~  请问下c题最后 判断res<0怎么想的？有没有可能res加上mod还是负的？咋证明啊？