合同の加算と乗算の性質