Assertion: algorithm's operation | /r/CapableOf | give the remainder
Facets:
Source sentences:
text: Moreover, the quotients are not needed, thus one may replace Euclidean division by the modulo operation, which gives only the remainder.