剰余の加算と乗算の性質