二进制减法规则