Remix.run Logo
Sharlin an hour ago

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