二进制的算术运算减法法则