합동 추가 및 곱셈 성질