Claim:The quotient and remainder are unique

For any and , if and are a quotient and remainder of and (that is, if and ), and if and are also a quotient and remainder of over , then and .