用加法验算加法是根据（ 加法的基本性质）,用减法验算加法是根据加法（加法的运算定律 ）.