Assertion: remainder | /r/HasAspect | opposite signs
Facets:
Source sentences:
text: When dividing by d, either both remainders are positive and therefore equal, or they have opposite signs.