環における加法と乗法の性質