展开 加法可用什么来验算