体における加法、乗法、逆元の性質