加法可以用什么来验算