a + b = 7 \quad \text{(1)}