Quotient-Remainder_relation