减法可以用什么加什么的方法验证