验证 \begincases x + y = 7 }, {x - y = 1 \endcases 的解为 (4, 3) 。