加法的验算方法