Assertion: remainder | /r/CapableOf | give two positive integers
Facets:
Source sentences:
text: The simplest division algorithm, historically incorporated into a greatest common divisor algorithm presented in Euclid's Elements, Book VII, Proposition 1, finds the remainder given two positive integers using only subtractions and comparisons: