加法的验算 (2)