剰余の定義と計算規則