Assertion: division algorithm | /r/CapableOf | use subtraction
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: