关于xy的方程组y x-7