the existence of additive inverses for the equivalence classes is simple; i.e., the inverse of [r] is [-r].

This is all lower case. Can you fix that?
The existence of additive inverses for the equivalence classes is simple; i.e., the inverse of [r] is [-r].