负数补码的原理及证明