If I start with a commutative rig, and apply the Grothendieck Group construction to it, twice, once to the additive structure and once to the multiplicative structure, is the resul …