Solving equations/Properties of equations