Post History

To directly answer the question in the title: **yes**, $a-b=0$ always implies $a=b$.

(Well, okay, I won’t say there isn’t some abstract algebra, somewhere, where it doesn’t hold, and where $a-b+b=a$ isn’t necessarily true. But in our ordinary, everyday algebra, it’s true.)