Input (grade 7): In the case above, the negative remainder is obtained from the positive one just by subtracting 5, which is d/O. This holds in general.
Output (grade 10): This ambiguity in the value of the remainder is not very serious; in the case above, the negative remainder is obtained from the positive one just by subtracting 5, which is d/O. This holds in general.