It doesn't really require a very complicated proof. In any ring, not just "commutative" or "unary" (in fact, since there is no mention of multiplication, you don't even need a ring), we have additive inverses. Adding the additive inverse of A to both sides immediately results in M= A.