Dylan is evaluating the expression . At one step in his work, Dylan rewrites the equation as . Which property of addition must Dylan have used when he evaluated the expression?