Simplification
Some important rules for simplification (how do you prove these?):
Note that you can use the rules in either direction, to remove terms, or to add terms. Indeed, sometimes you need to add some terms in order to get to the simples solution.