用加法验算加法是应用了加法的( ),用减法验算加法是应用了加法的( ).