Assertion: remainder | /r/HasProperty | unique
Facets:
Source sentences:
text: The proof that the quotient and remainder exist and are unique (described at Euclidean division) gives rise to a complete division algorithm using additions, subtractions, and comparisons: