If you know that a + b + c + d = b + x + d, you can subtract b + d from both sides to get the equation a + c = x. This equation is an algebraic statement of the conditions of the original problem.