【数学】减法的验算