Quotient-Remainder Theorem