upvote
We’re in the semiring of positive integers, so there are no additive (or multiplicative) inverses.
reply