환환의 덧셈과 곱셈 성질